منابع مشابه
Higher Order Connections
The purpose of this article is to present the theory of higher order connections on vector bundles from a viewpoint inspired by projective differential geometry.
متن کاملHigher-order distributions and nongrowing complex networks without multiple connections.
We study stochastic processes that generate nongrowing complex networks without self-loops and multiple edges (simple graphs). The work concentrates on understanding and formulation of constraints which keep the rewiring stochastic processes within the class of simple graphs. To formulate these constraints a different concept of wedge distribution (paths of length 2) is introduced and its relat...
متن کاملGoal Sequence Achievement Using Higher-Order Neural Connections in Construction Agents
This paper describes a neural architecture for selecting and achieving sequences of goals. The architecture is tested on a wall-construction task in a two dimensional environment containing circular objects. Scavenger agents bring building materials to a site while builder agents use the material to construct a wall. The agents are robust, that is, they stop to eat and drink when hungry or thir...
متن کاملLocally Anisotropic Interactions: I. Nonlinear Connections in Higher Order Anisotropic Superspaces
Higher order anisotropic superspaces are constructed as generalized vector superbundles provided with compatible nonlinear connection, distinguished connection and metric structures.
متن کاملHigher-Order Order-Sorted Resolution
The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Symmetry, Integrability and Geometry: Methods and Applications
سال: 2009
ISSN: 1815-0659
DOI: 10.3842/sigma.2009.082